#include "linux/device.h"
#include "linux/printk.h"
#include "linux/device.h"
#include "linux/platform_device.h"

void driver_init(void)
{
    int ret;
	
    ///* These are the core pieces */
	//devtmpfs_init();
	//devices_init();
	buses_init();
	//classes_init();
	//firmware_init();
	//hypervisor_init();

	///* These are also core pieces, but must come after the
	 //* core core pieces.
	 //*/
	//platform_bus_init();
	//cpu_dev_init();
	//memory_dev_init();
	//container_dev_init();
	//of_core_init();
	
    ret = platform_bus_init();
    if (ret < 0)
    {

    }
}

